Programming with “Big Code”: Lessons, Techniques and Applications Pavol Bielik1 , Veselin Raychev1 , and Martin Vechev1 1 Department of Computer Science, ETH Zurich, Switzerland

Source URL: www.srl.inf.ethz.ch

• Computing
• Artificial intelligence
• Machine learning
• Graphical models
• Structured prediction
• Computational statistics
• Statistical classification
• Conditional random field
• Probabilistic programming language
• Inference
• Artificial neural network
• Support vector machine

Hochschulversammlung ETH Zürich 8092 Zürich Zürich, 9. April 2015

Source URL: www.hv.ethz.ch

JahresberichtImpressionen der Herbsttagung von «Forschung für Leben» und der Flyeraktion am 22. Dezember 2015 vor der ETH Geschäftsstelle | Aargauerstrasse 250 | 8048 Zürich

Source URL: www.forschung-leben.ch

Byzantine Agreement with Median Validity David Stolz1 and Roger Wattenhofer1 1 ETH Zürich Switzerland

Source URL: www.tik.ee.ethz.ch

• Computing
• Computer programming
• Graph theory
• Consensus
• Binary trees
• Combinatorial optimization
• Routing algorithms
• Search algorithms
• Parallel Tree Contraction
• Redblack tree

ESC-NEWS Newsletter des Energy Science Center der ETH Zürich | Oktober 2011 Wasserkraft: Höhere Effizienz unter veränderten Bedingungen

Source URL: people.ee.ethz.ch

Learning to Teach Programme for Doctoral Teaching Assistants at ETH Zurich “How can I make sure

Source URL: www.let.ethz.ch

Real Time Head Pose Estimation from Consumer Depth Cameras Gabriele Fanelli1 , Thibaut Weise2 , Juergen Gall1 and Luc Van Gool1,3 1 ETH Zurich, Switzerland 2 EPFL Lausanne, Switzerland 3 KU Leuven, Belgium

Source URL: files.is.tue.mpg.de

Informationsblatt “ETH­Alumni” und “VECS” Was ist die ETH­Alumni Vereinigung? Sie ist eine Vereinigung für alle Ehemaligen der ETH Zürich. Sie bietet eine Vielzahl an  Services und Ver

Source URL: www.vac.ethz.ch

Variations of a Hough-Voting Action Recognition System Daniel Waltisberg, Angela Yao, Juergen Gall, and Luc Van Gool Computer Vision Laboratory, ETH Zurich, Switzerland Abstract. This paper presents two variations of a

Source URL: files.is.tue.mpg.de

Valuing and Designing Payment Systems for Ecosystem Services A short course held in conjunction with EAERE 2016 June 21-22, 2016, Swiss Federal Institute of Technology in Zurich (ETH), Switzerland APPLICATION DEADLINE: F

Source URL: www.beijer.kva.se